Decision problem - PDFSEARCH.IO - Document Search Engine

Decision problem
Results: 812

#	Item
401	Roll Back Malaria Partnership RBM Partnership External Evaluation Task Force Terms of Reference TOR based on the RBM Partnership External Evaluation report and Decision Point RBM/BOM.25/DP.3.1 of the 25th RBM Partnership Add to Reading List Source URL: rbm.who.int Language: English - Date: 2014-05-08 09:59:48 Task forces Problem solving Malaria
402	Advising farmers : a cooperative solving problem activity ? Add to Reading List Source URL: ergonomie.cnam.fr Language: English - Date: 2011-10-17 06:25:03 Problem solving Advice Decision making Mediation Design Neuroscience Psychology Neuropsychological assessment Educational psychology Neuropsychology
403	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
404	Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:36 Electronic engineering Electronic design automation Formal methods Diagrams Symmetry And-inverter graph Binary decision diagram Boolean satisfiability problem Symmetry in mathematics Mathematics Theoretical computer science Boolean algebra
405	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
406	Testing Canonical Tournament Theory: On the Impact of Risk, Social Preferences and Utility Structure Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2014-11-17 08:46:34 Asymmetric information Information Decision theory Organizational theory Principal–agent problem Preference Contract theory Experimental economics Economic model Economics Game theory Economic theories
407	Logic Synthesis for Regular Layout using Satisfiability Marek Perkowski and Alan Mishchenko Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA [mperkows, alanmi]@ece.pdx.e Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-01 01:40:28 Theoretical computer science Electronic design automation Diagrams Formal methods Lattice theory Binary decision diagram Boolean satisfiability problem Logic synthesis Lattice Abstract algebra Mathematics Boolean algebra
408	Detecting Failures of Backward Induction: Monitoring Information Search in Sequential Bargaining* Eric J. Johnson Columbia School of Business Columbia University Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 07:54:20 Economics Backward induction Subgame perfect equilibrium Ultimatum game Solution concept Subgame Bargaining Experimental economics Trembling hand perfect equilibrium Game theory Problem solving Decision theory
409	Planning as Heuristic Search for Incremental Fault Diagnosis and Repair Håkan Warnquist∗ and Jonas Kvarnström and Patrick Doherty Dept. of Computer and Information Science Linköping University SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:49:14 Markov processes Partially observable Markov decision process Systems theory On-board diagnostics Economic model Reliability engineering Statistics Problem solving Troubleshooting
410	Microsoft Word - iwls07-final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:44:52 Boolean algebra Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Binary decision diagram Functional dependency Conjunctive normal form Theoretical computer science Mathematics Mathematical logic

UPDATE